package za.ac.sun.cs.distrib;

public class Support {

	native public static int makeSymbolicInteger(String name);

}
